/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.view;

/**
 *
 * @author simon
 */
public class Tag {

    public final static int
            WC = 1,
            I_ALPHABET = 2,
            O_ALPHABET = 3,
            FORMULA = 4,
            ALPHABET = 5,
            END = 6,
            PLAYER_1 = 7,
            PLAYER_2 = 8,
            LTL = 9,
            AUTOMATA = 10,
            SMV = 11,

            //Tag for tools
            NUGAT = 100;
}
